| Name | Format | Size | Date |
|---|---|---|---|
| EditorProperties.class | Java Class File | 2.5 KB | 1996-10-30 |
| GC.class | Java Class File | 1.9 KB | 1996-10-30 |
| Globals.class | Java Class File | 5.2 KB | 1996-10-30 |
| ImageRef.class | Java Class File | 666 b | 1996-10-30 |
| URLPool.class | Java Class File | 4.0 KB | 1996-10-30 |
| URLSaver.class | Java Class File | 2.5 KB | 1996-10-30 |